Analysing Security Properties using Re nement
نویسنده
چکیده
Security properties are essential in open and distributed environments with high dependability requirements. An approach to development and analysis of safetyand security-critical systems based on re nement as the central concept can o er an integrated solution. We analyse the Online Certi cate Status Protocol (OCSP), showing how to use re nement as an interference analysis tool for secure communication protocols and intruders.
منابع مشابه
Using Re nement to Analyse the Safety of anAuthentication
level of the initial service description. It was only by relating abstract and concretemachines that we could understand how the intruder behaviour manifests itself at the abstractlevel. Furthermore, we were not in a position to modify the intruder behaviour in order to avoidmodifying the abstract speci cation.Our Needham-Schroeder development was partly analysed using a commerc...
متن کاملRe nement of Vectors of Bernstein Polynomials
For the case of Bernstein polynomials the re nement mask is calculated recursively and the re nement matrices are given explicitely Moreover the eigenvectors of the transposed re nement matrices are constructed whereas the eigenvectors of the re nement matrices themselves can be determined by a theorem of Micchelli and Prautzsch INTRODUCTION Let n N and let b t b t bn t T be a vector of uniform...
متن کاملTowards a generic editor for subdivision surfaces
Subdivision surfaces are de ned by a mesh of points and by one or more re nement rules according to which new subsets of points are substituted for existing subsets which are usually smaller in size, to yield re ned meshes. The re nement rules de ning a subdivision surface are known collectively as the re nement process de ning the surface. Re nement processes of interest are any for which the ...
متن کاملOrganising Knowledge Refinement Operators
Knowledge re nement tools seek to correct faulty knowledge based systems (KBSs). The goal of theKrustWorks project is to provide a source of re nement components from which specialised re nement tools tailored to the needs of a range of KBSs can be built. Central to the toolkit is a set of generic re nement operators and a representation language for KBS rules. The language abstracts those prop...
متن کاملAn Automatic Adaptive Re nement and Dere nement Method for D Elliptic Problems
We present the theory and implementation for a new automatic adaptive h re nement and dere nement method for two and three dimensional elliptic problems An exact lower error bound for dere nement is obtained theoretically in terms of the nite element solution complementing the various known upper error bounds for re nement These error bounds are used to determine where to insert and or remove m...
متن کامل